SSTS: A syntactic tool for pattern search on time series     

João Rodrigues  Duarte Folgado  David Belo  Hugo Gamboa 《Information processing & management》2019,56(1):61-76

Nowadays, data scientists are capable of manipulating and extracting complex information from time series data, given the current diversity of tools at their disposal. However, the plethora of tools that target data exploration and pattern search may require an extensive amount of time to develop methods that correspond to the data scientist's reasoning, in order to solve their queries. The development of new methods, tightly related with the reasoning and visual analysis of time series data, is of great relevance to improving complexity and productivity of pattern and query search tasks. In this work, we propose a novel tool, capable of exploring time series data for pattern and query search tasks in a set of 3 symbolic steps: Pre-Processing, Symbolic Connotation and Search. The framework is called SSTS (Symbolic Search in Time Series) and uses regular expression queries to search the desired patterns in a symbolic representation of the signal. By adopting a set of symbolic methods, this approach has the purpose of increasing the expressiveness in solving standard pattern and query tasks, enabling the creation of queries more closely related to the reasoning and visual analysis of the signal. We demonstrate the tool's effectiveness by presenting 9 examples with several types of queries on time series. The SSTS queries were compared with standard code developed in Python, in terms of cognitive effort, vocabulary required, code length, volume, interpretation and difficulty metrics based on the Halstead complexity measures. The results demonstrate that this methodology is a valid approach and delivers a new abstraction layer on data analysis of time series.  相似文献   

一种多重循环程序内存访问越界检测方法     

王嘉捷  蒋凡  张涛 《中国科学院大学学报》2010,27(1):117-126

提出一种内存访问越界检测方法,以克服现有方法遇到的多重循环难题. 先识别疑似缺陷点及其依赖区域,再实施多重循环的递推链分析,并推断缺陷触发可能性和路径指导信息,从而实现基于符号执行的缺陷定向检测,最终查出越界缺陷及其触发路径与程序输入. 已实现原型工具,检测了多个开源软件,找到了真实的代码缺陷. 实验结果表明,该方法既避免了盲目路径遍历,又保持了路径敏感和位级跟踪的检测精度,提高了缺陷检测效率和准确度.  相似文献   

Education,knowledge, and symbolic form     

Oli Belas 《牛津教育评论》2018,44(3):291-306

This article aims to introduce Ernst Cassirer, and his philosophy of symbolic form, to education studies, and, in doing so, to challenge the widespread but deeply flawed views of knowledge and so-called knowledge-based education that have shaped recent education policy in England. After sketching the current educational landscape, and then some of the main lines of flight in Cassirer’s work, time is given to a comparison with Heidegger—a more familiar figure by far in Anglophone philosophy than Cassirer, and who contributed to the displacement of Cassirer—in order to illustrate more clearly Cassirer’s original contribution, in particular to the relationship between knowledge and time. Cassirer’s view of knowledge stands in marked and critical contrast to that which has shaped recent educational reform in England, as he sees knowledge as a productive and expressive matter, and repudiates what I call the ‘building-blocks’ picture of knowledge and the hierarchisation of subject areas.  相似文献   

Uncomfortable pedagogy: experiential learning as an anthropological encounter in the Asia-Pacific     

Julius Bautista 《Pedagogies: An International Journal》2018,13(3):246-259

This paper features a discussion of how educators can channel anthropological practices towards the enhancement of experiential learning (EL) teaching methods, particularly on the topic of religion across the Asia-Pacific. I argue that our capacity to achieve curricular objectives through EL calls for an attentiveness to the affinity between the empirical challenges confronted by ethnographers, who work to create rapport between researcher and subject, and classroom teachers who seek to cultivate a conducive learning environment beyond the classroom walls. I show the pedagogical implications of the ways anthropologists have operationalized their discipline’s “critical turn” by highlighting two experiential domains: (1) through activities of “uncomfortable” stereotype self-inventory and (2) through a dialogic pedagogy that pursues meaningful learning outcomes through the “struggle” to recognize inter-cultural and religious agency among students.  相似文献   

THE EGG-THE WINNER     

柳睿 《黑龙江科技信息》2008,(31)

In Sherwood Anderson's short fictions, one of the most successful is The Egg in which the author applied the means of symbolism.This paper aims to analyze the symbolic egg and interpret characters in The Egg.  相似文献